(UserId x) : [UserId I64]
(UserId x) = UserId 42

x